document.write (" 6145 ");