document.write('1030\n');