document.write (" 6347 ");