document.write (" 7107 ");