document.write('0499\n');