document.write('\"\"');document.write('

'); document.write('\"Craftsman');document.write('

'); document.write('\"\"');document.write('

'); document.write('\"\"');document.write('

'); document.write('\"\"');document.write('

'); document.write('\"\"');document.write('

');