div. javascripts for textmarking

imported div. javascripts for textmarking & new text for hyperthreads