document.write (" 5380 ");