document.write (" 6144 ");