document.write('0678\n');