document.write('12316 ');