document.write('7112 ');