document.write (" 7130 ");