document.write('9916 ');