document.write (" 7071 ");