document.write (" 6141 ");