document.write('12284 ');