document.write (" 6208 ");