document.write('0906\n');