// JavaScript functions for Manual Pull buttons ?>