//miscellaneous javascript