document.write('0530\n');