document.write('0310\n');