document.write (" 6380 ");