document.write('0707\n');