document.write('5312 ');