document.write (" 6117 ");