document.write('0724\n');