document.write (" 5392 ");