document.write('0403\n');