document.write (" 7138 ");