/* */document.write('68000');