document.write('9712 ');