document.write('0480\n');