document.write('0612\n');