document.write (" 6140 ");