document.write('0540\n');