document.write('8312 ');