document.write (" 5944 ");