document.write (" 7114 ");