document.write (" 6193 ");