document.write('0932\n');