document.write('7992 ');