document.write('3250\n');