javascript for highlighting added