use javascript to modify html