document.write (" 6130 ");